Real-Time Architecture Description and Quantitative Analysis using UML
نویسنده
چکیده
In this paper we present our contribution in the domain of real-time system design. This approach is twofold: an UML2.0 and SysML-based architecture description including functional and structural specification, resource allocations and QoS modelling; a quantitative analysis with formal description of behaviour using Time Petri Net. The quantitative analysis explores the solution space and proves the existence of a valid scheduling. A refinement process allows different levels of description of the application. An example illustrates the approach.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملArchitecture Description Languages in Practice
Walter dos Santos, from INPE’s Space Systems Division in Brasil, opened the session by presenting his paper (An MDA Approach for a Multi-Layered Satellite On-Board Software Architecture). The paper described a project that applied real-time UML (within the context of an MDA project) to the problem of building highly reliable on-board satellite control software. They found that an approach using...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملSynthesis of Real-Time Implementation from UML-RT Models
ROOM (Real-Time Object-Oriented Modeling) is an architecture description language widely used in the telecommunications industry to develop embedded software. The concepts of ROOM have been incorporated into the CASE tool Rational Rose Real-Time (RoseRT) in the form of a UML profile, commonly called UML-RT. However, UMLRT itself does not provide any support for performing realtime scheduling an...
متن کاملMapping Architectural Concepts to UML-RT
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged, one using a specialized notation for architecture or architecture description language (ADL), the other using notations applied generally throughout design, such as UML. The latter has a number of bene ts, including familiarity to developers, close mappings to i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005